An Object-Oriented Concurrent Reflective Language ABCL/R3 Its Meta-level Design and Efficient Implementation Techniques

This article presents the design principles and efficient implementation techniques for ABCL/R3, an object-oriented concurrent reflective language. One of the most distinguished features of ABCL/R3 is compilation techniques using partial evaluation, which effectively remove interpretation from meta-level programs. The meta-level objects are designed so that they can be partially evaluated in an effective manner. Benchmark programs show that our compilation frameworks make object execution drastically faster than interpreter-based implementations, and achieves performance close to nonreflective compilers. RÉSUMÉ. Cet article présente les principes orientateurs et les techniques utilisées pour l'implantation efficace d’ABCL/R3, un langage de programmation concurrent orienté-objet avec réflexion. L'une des caractéristiques majeures d’ABCL/R3 est sa compilation avec évaluation partielle, qui élimine l'interprétation pour les programmes du méta-niveau. Des programmes de test ont montré que notre approche exécute les objets incomparablement plus vite qu'une implantation naïve, avec des performances proches des compilateurs sans réflexion.